Process Control Software Specification in PCSL

Espreso - a system for process control software specification

Requirements Specification in Distributed Software Development – A Process Proposal

Distributed software development presents several characteristics that differentiate from co-located software development. Currently, one of the main difficulties imposed by geographically distributed software teams is the requirements engineering process. Traditional approaches to requirements process don’t cover the fundamental difficulties of dispersion, like communication and coordination. ...

Role of Verification in the Software Specification Process

Specification of Coordinated Behaviour in the Software Development Process

A rapidly growing number of papers addresses the topic of software process modeling (see e.g. [5], [1]). Due to the fact that this topic is still a very young discipline within software engineering, many of these papers pay much attention to defining the requirements to software process modelling as well as to describing and discussing the basic concepts and notions in this field. Examples of t...

Requirements Specification for Process-Control Systems

This paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS 11). The example specification demonstrates 1) the practicality of writing a formal requirements specification for a comple...